<ul>
	<li><a href="<?php echo $_SERVER['PHP_SELF']; ?>?path=/" class="index">Index</a></li>
	
	<?php foreach ($RAML->getChildPaths('/') as $endpoint => $resource) { ?>
	<li><a href="<?php echo $_SERVER['PHP_SELF']; ?>?path=<?php echo $endpoint; ?>"><?php echo $endpoint; ?></a></li>
	<?php } ?>
</ul>

<h3>
	Server Status: 
	
	<?php
	$status = $RAML->pingStatus();
	if ($status == 'online'): ?>
		<span class="online">Online</span>
	<?php else: ?>
		<span class="offline">Offline</span>
	<?php endif; ?>
</h3>

<small style="display: block; margin: -10px 0 20px 0;">Updated every 5 minutes</small>
